7 results
Dyadic Existential Rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
- Published online by Cambridge University Press:
- 24 August 2023, pp. 227-249
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 26 July 2022, pp. 678-692
-
- Article
- Export citation
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 1 / January 2016
- Published online by Cambridge University Press:
- 16 March 2015, p. 139
-
- Article
-
- You have access
- Export citation
1 - Treewidth and Hypertree Width
- from Part 1 - Graphical Structure
-
-
- Book:
- Tractability
- Published online:
- 05 February 2014
- Print publication:
- 06 February 2014, pp 3-38
-
- Chapter
- Export citation
Combining decidability paradigms for existential rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 877-892
-
- Article
- Export citation
On the expressiveness of frame satisfiability and fragments of second-order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-82
- Print publication:
- March 1998
-
- Article
- Export citation
Relativized logspace and generalized quantifiers over finite ordered structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 545-574
- Print publication:
- June 1997
-
- Article
- Export citation